Ideas from 'Truth' by Anil Gupta [2001], by Theme Structure
[found in 'Blackwell Guide to Philosophical Logic' (ed/tr Goble,Lou) [Blackwell 2001,0-631-20693-0]].
green numbers give full details |
back to texts
|
expand these ideas
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
|
14965
|
Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true)
|
3. Truth / F. Semantic Truth / 2. Semantic Truth
|
14968
|
A weakened classical language can contain its own truth predicate
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
|
14964
|
The Liar reappears, even if one insists on propositions instead of sentences
|
|
14969
|
Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true
|